Journal Name
Similarity (last 3 years)
Avg Papers (last 3 years)
View Similar Topics

Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Object Oriented Programming

  • Computer Hardware

  • Computer Programming

  • Computer Programming Languages

  • Software Design

  • Swarm Intelligence

  • Mobile Robots

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Object Oriented Programming

  • Computer Hardware

  • Computer Programming

  • Computer Programming Languages

  • Software Design

  • Formal Verifications

  • Verification And Validation

  • Verification

  • Software Architecture

  • Software Project

  • Engineering

  • Automation

  • Evolutionary Algorithms

  • Software Development

  • Swarm Intelligence

  • Particle Swarm Optimization (Pso)

  • Verification Method

  • Mobile Robots

  • Mutation Operators

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Microprocessor Chips

  • Field Programmable Gate Array

  • Embedded Systems

  • Vlsi Circuits

  • Computer Aided Design

  • Test Case Generation

  • Artificial Intelligence

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Microprocessor Chips

  • Software Project

  • Software Systems

  • Field Programmable Gate Array

  • Software Development

  • Logic Design

  • Test Generations

  • Sequential Circuits

  • Embedded Systems

  • Integrated Circuit Layout

  • Architecture Verification And Validation

  • Vlsi Circuits

  • Integrated Circuit Testing

  • Model Checking

  • Verification

  • Computer Aided Design

  • Test Case Generation

  • Artificial Intelligence

  • System Testing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Microprocessor Chips

  • Computer Hardware

  • Field Programmable Gate Array

  • Test Case Generation

  • Vlsi Circuits

  • Computer Aided Design

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Microprocessor Chips

  • Computer Hardware

  • Field Programmable Gate Array

  • Software Architecture

  • Integrated Circuit Testing

  • Test Case Generation

  • Software Quality

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Test Generations

  • Sequential Circuits

  • Logic Design

  • Verification

  • Reverse Engineering

  • Reengineering

  • System Testing

  • Software Reengineering

  • Architecture Verification And Validation

  • Model Checking

  • Computer Aided Design

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Source Codes

  • Vlsi Circuits

  • Test Case Generation

  • Distributed Computer Systems

  • Computer Aided Design

  • System Theory

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Integrated Circuit Testing

  • Integrated Circuit Layout

  • Source Codes

  • Linguistics

  • Vlsi Circuits

  • Test Generations

  • Sequential Circuits

  • Logic Design

  • Distributed Systems

  • Parallel Processing Systems

  • Test Case Generation

  • Semantics

  • Distributed Computer Systems

  • System Testing

  • Software Quality

  • Computer Aided Design

  • System Theory

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Vlsi Circuits

  • Test Case Generation

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Quality

  • Embedded Systems

  • Field Programmable Gate Array

  • Verification And Validation

  • Computer Hardware

  • Microprocessor Chips

  • Verification

  • Semantics

  • Integrated Circuit Layout

  • Integrated Circuit Testing

  • Vlsi Circuits

  • Test Generations

  • Test Case Generation

  • Sequential Circuits

  • Logic Design

  • Model Checking

  • Architecture Verification And Validation

  • Software Project

  • System Testing

  • Software Systems

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Field Programmable Gate Array

  • Source Codes

  • Microprocessor Chips

  • Vlsi Circuits

  • Test Case Generation

  • Embedded Systems

  • Distributed Computer Systems

  • Computer Aided Design

  • System Theory

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Field Programmable Gate Array

  • Source Codes

  • Microprocessor Chips

  • Integrated Circuit Testing

  • Architecture Verification And Validation

  • Software Quality

  • Model Checking

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Test Case Generation

  • Test Generations

  • Sequential Circuits

  • Logic Design

  • Embedded Systems

  • Distributed Computer Systems

  • System Testing

  • Computer Aided Design

  • System Theory

  • Reverse Engineering

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Test Case Generation

  • Vlsi Circuits

  • Embedded Systems

  • Software

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Semantics

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Linguistics

  • Computational Linguistics

  • Integrated Circuit Testing

  • Test Case Generation

  • Software Development

  • Integrated Circuit Layout

  • Natural Languages

  • Vlsi Circuits

  • Test Generations

  • Sequential Circuits

  • Logic Design

  • Architecture Verification And Validation

  • Model Checking

  • Embedded Systems

  • Software

  • System Testing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Theoretical Computer Science

  • Formal Logic

  • Computer Programming

  • Test Case Generation

  • Graph Theory

  • Vlsi Circuits

  • Computer Hardware

  • Computer Aided Design

  • System Theory

  • Embedded Systems

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Architecting

  • Theoretical Computer Science

  • Formal Logic

  • Software Architecture

  • Computer Programming

  • Integrated Circuit Testing

  • Test Case Generation

  • Integrated Circuit Layout

  • Test Generations

  • Sequential Circuits

  • Logic Design

  • Graph Theory

  • Vlsi Circuits

  • Computer Hardware

  • System Testing

  • Computer Aided Design

  • System Theory

  • Embedded Systems

  • Automata Theory

    • IET Software
    85%
    35

    Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Computer Hardware

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Computer Programming Languages

  • Vlsi Circuits

  • Software

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Project

  • Software Development

  • Embedded Systems

  • Computer Hardware

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Computer Programming Languages

  • Architecture Verification And Validation

  • Model Checking

  • Integrated Circuit Testing

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Software Architecture

  • Verification

  • Verification And Validation

  • Sequential Circuits

  • Test Generations

  • Logic Design

  • Software

  • System Testing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Hardware

  • Microprocessor Chips

  • Embedded Systems

  • Test Case Generation

  • Field Programmable Gate Array

  • Vlsi Circuits

  • Computer Programming Languages

  • Computer Programming

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Project

  • Software Development

  • Computer Hardware

  • Architecture Verification And Validation

  • Software Quality

  • Microprocessor Chips

  • Model Checking

  • Embedded Systems

  • Verification

  • Verification And Validation

  • Test Case Generation

  • Integrated Circuit Testing

  • Field Programmable Gate Array

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Logic Design

  • Test Generations

  • Sequential Circuits

  • Computer Programming Languages

  • Computer Programming

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Test Case Generation

  • Vlsi Circuits

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Project

  • Embedded Systems

  • Software Development

  • Architecture Verification And Validation

  • Model Checking

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Verification

  • Reengineering

  • Computer Software Maintenance

  • Reverse Engineering

  • Software Reengineering

  • Software Quality

  • Software Architecture

  • Integrated Circuit Testing

  • Test Case Generation

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Verification And Validation

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Source Codes

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Test Case Generation

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Source Codes

  • Computer Software Maintenance

  • Architecture Verification And Validation

  • Software Project

  • Model Checking

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Verification

  • Reverse Engineering

  • Reengineering

  • Verification And Validation

  • Software Systems

  • Software Quality

  • Software Developer

  • Software Reengineering

  • Test Case Generation

  • Integrated Circuit Testing

  • Software Development

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Formal Logic

  • Computer Programming Languages

  • Theoretical Computer Science

  • Formal Languages And Automata Theory

  • Distributed Computer Systems

  • Software

  • Embedded Systems

  • Computer Programming

  • Test Case Generation

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Linguistics

  • Formal Logic

  • Computer Programming Languages

  • Theoretical Computer Science

  • Formal Languages And Automata Theory

  • Distributed Systems

  • Distributed Computer Systems

  • Software

  • Formal Methods

  • Parallel Processing Systems

  • Formal Languages

  • Architecting

  • Embedded Systems

  • Software Architecture

  • Computer Programming

  • Semantics

  • Test Case Generation

  • Model Checking

  • Architecture Verification And Validation

  • Integrated Circuit Testing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Computer Programming

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Object Oriented Programming

  • Software Component

  • Requirements Engineering

  • Test Case Generation

  • Vlsi Circuits

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Computer Programming

  • Software Project

  • Computer Software Maintenance

  • Field Programmable Gate Array

  • Verification And Validation

  • Computer Hardware

  • Verification

  • Microprocessor Chips

  • Object Oriented Programming

  • Software Architecture

  • Software Component

  • Requirements Engineering

  • Integrated Circuit Testing

  • Test Case Generation

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Architecting

  • Software Quality

  • Test Generations

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Field Programmable Gate Array

  • Requirements Engineering

  • Computer Hardware

  • Microprocessor Chips

  • Computer Debugging

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Development

  • Software Project

  • Software Architecture

  • Software Quality

  • Architecture Verification And Validation

  • Model Checking

  • Embedded Systems

  • Field Programmable Gate Array

  • Requirements Engineering

  • Computer Hardware

  • Microprocessor Chips

  • Software Systems

  • Reverse Engineering

  • Software Reengineering

  • Reengineering

  • Program Debugging

  • Computer Debugging

  • Verification

  • Computer Software Maintenance

  • Integrated Circuit Testing

    • IEEE Software
    79%
    89

    Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Field Programmable Gate Array

  • Computer Hardware

  • Computer Programming Languages

  • Microprocessor Chips

  • Test Case Generation

  • Vlsi Circuits

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Quality

  • Software Project

  • Embedded Systems

  • Software Development

  • Software Reengineering

  • Reengineering

  • Reverse Engineering

  • Architecture Verification And Validation

  • Model Checking

  • Software Architecture

  • Field Programmable Gate Array

  • Verification And Validation

  • Computer Hardware

  • Computer Programming Languages

  • Microprocessor Chips

  • Verification

  • Integrated Circuit Testing

  • Test Case Generation

  • Integrated Circuit Layout

  • Vlsi Circuits

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Requirements Engineering

  • Computer Programming

  • Embedded Systems

  • Microprocessor Chips

  • Computer Debugging

  • Test Case Generation

  • Vlsi Circuits

  • Intelligent Systems

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Requirements Engineering

  • Computer Programming

  • Embedded Systems

  • Engineering

  • Microprocessor Chips

  • Software Quality

  • Software Architecture

  • Program Debugging

  • Computer Debugging

  • Architecture Designs

  • Integrated Circuit Testing

  • Test Case Generation

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Test Generations

  • Sequential Circuits

  • Computer Software Maintenance

  • Intelligent Systems

  • Systems Design

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Graph Theory

  • Theoretical Computer Science

  • Software

  • Computer Programming Languages

  • Embedded Systems

  • Object Oriented Programming

  • Computer Hardware

  • Microprocessor Chips

  • Computer Debugging

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Graph Theory

  • Theoretical Computer Science

  • Software Quality

  • Software

  • Model Transformation

  • Petri Nets

  • Code Generation

  • Linguistics

  • Computer Programming Languages

  • Architecting

  • Embedded Systems

  • Object Oriented Programming

  • Computational Linguistics

  • Computer Hardware

  • Microprocessor Chips

  • Model-Driven Engineering

  • Modeling Languages

  • Engineering

  • Program Debugging

  • Computer Debugging

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Embedded Systems

  • Theoretical Computer Science

  • Software

  • Formal Logic

  • Formal Languages And Automata Theory

  • Graph Theory

  • Robotics

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Model Checking

  • Embedded Systems

  • Architecture Verification And Validation

  • Architecting

  • Theoretical Computer Science

  • Software

  • Formal Logic

  • Software Architecture

  • Formal Languages And Automata Theory

  • Verification

  • Verification And Validation

  • Formal Verifications

  • Formal Languages

  • Linguistics

  • Graph Theory

  • Formal Methods

  • Automata Theory

  • Petri Nets

  • Robotics

  • Digital Signal Processing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Distributed Computer Systems

  • Computer Networks

  • Security Of Data

  • Computer Security

  • Software Reliability

  • Cryptology

  • Software

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Distributed Computer Systems

  • Computer Networks

  • Fault Tolerant Computer Systems

  • Security Of Data

  • Engineering

  • Mathematics

  • Computer Security

  • Software Architecture

  • Network Security

  • Integrated Circuit Testing

  • Verification And Validation

  • Software Reliability

  • Cryptography

  • Cryptology

  • Integrated Circuit Layout

  • Verification

  • Software

  • Architecture Verification And Validation

  • Probability

  • Model Checking

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Object Oriented Programming

  • Embedded Systems

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Computer Programming Languages

  • Vlsi Circuits

  • Computer Hardware

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software Reengineering

  • Reengineering

  • Reverse Engineering

  • Computer Software Maintenance

  • Architecting

  • Software Quality

  • Software Architecture

  • Engineering

  • Object Oriented Programming

  • Embedded Systems

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Computer Programming Languages

  • Integrated Circuit Testing

  • Integrated Circuit Layout

  • Vlsi Circuits

  • Architecture Verification And Validation

  • Computer Hardware

  • Model Checking

  • Test Generations

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Database Systems

  • Formal Logic

  • Computer Hardware

  • Formal Languages And Automata Theory

  • Microprocessor Chips

  • Computer Debugging

  • Test Case Generation

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Linguistics

  • Database Systems

  • Semantics

  • Software Quality

  • Formal Methods

  • Formal Logic

  • Petri Nets

  • Software Architecture

  • Computer Hardware

  • Formal Languages And Automata Theory

  • Microprocessor Chips

  • Computer Software Maintenance

  • Formal Languages

  • Program Debugging

  • Computer Debugging

  • Parallel Processing Systems

  • Integrated Circuit Testing

  • Test Case Generation

  • Distributed Systems

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Programming Languages

  • Distributed Computer Systems

  • Theoretical Computer Science

  • Software

  • Visualization

  • Graph Theory

  • Human Computer Interaction

  • Database Systems

  • Software Engineering

  • Computer Hardware

  • Computer Programming

  • Microprocessor Chips

  • Field Programmable Gate Array

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Programming Languages

  • Linguistics

  • Distributed Systems

  • Parallel Processing Systems

  • Program Compilers

  • Distributed Computer Systems

  • Programming Languages

  • Theoretical Computer Science

  • Software

  • Software Quality

  • Visualization

  • Graph Theory

  • Human Computer Interaction

  • Database Systems

  • Software Engineering

  • Code Generation

  • Computer Hardware

  • Computer Programming

  • Microprocessor Chips

  • Field Programmable Gate Array

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Graph Theory

  • Computer Programming Languages

  • Theoretical Computer Science

  • Hierarchical System

  • Object Oriented Programming

  • Computer Hardware

  • Microprocessor Chips

  • Embedded Systems

  • Computer Programming

  • Test Case Generation

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Graph Theory

  • Computer Programming Languages

  • Theoretical Computer Science

  • Software Quality

  • Model Transformation

  • Hierarchical System

  • Hierarchical Model

  • Object Oriented Programming

  • Code Generation

  • Computer Hardware

  • Microprocessor Chips

  • Embedded Systems

  • Computer Programming

  • Unified Modeling Language

  • Program Compilers

  • Verification And Validation

  • Parallel Processing Systems

  • Integrated Circuit Testing

  • Test Case Generation

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Distributed Computer Systems

  • Software Engineering

  • Formal Logic

  • Theoretical Computer Science

  • Computer Programming Languages

  • Computer Hardware

  • Knowledge Based Systems

  • Microprocessor Chips

  • Software Design

  • Object Oriented Programming

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Distributed Systems

  • Parallel Processing Systems

  • Distributed Computer Systems

  • Parallel Architectures

  • Program Processors

  • Parallel Algorithms

  • Software Engineering

  • Formal Logic

  • Theoretical Computer Science

  • Query Languages

  • Computer Programming Languages

  • Software Quality

  • Relational Database

  • Computer Hardware

  • Knowledge Based Systems

  • Microprocessor Chips

  • Computer Software Maintenance

  • Software Design

  • Object Oriented Programming

  • Relational Algebra

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Data Mining

  • Machine Learning

  • Artificial Intelligence

  • Embedded Systems

  • Database Systems

  • Cloud Computing

  • Computer Programming Languages

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Classifiers

  • Data Mining

  • Machine Learning

  • Artificial Intelligence

  • Architecting

  • Embedded Systems

  • Database Systems

  • Architecture Verification And Validation

  • Model Checking

  • Economics

  • Mobile Devices

  • Cloud Computing

  • Computer Programming Languages

  • Field Programmable Gate Array

  • Computer Hardware

  • Microprocessor Chips

  • Mobile Computing

  • Verification And Validation

  • Verification

  • Commerce

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Formal Logic

  • Theoretical Computer Science

  • Software

  • Formal Languages And Automata Theory

  • Embedded Systems

  • Graph Theory

  • Computer Programming Languages

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Formal Logic

  • Theoretical Computer Science

  • Software

  • Formal Languages And Automata Theory

  • Embedded Systems

  • Model Checking

  • Architecture Verification And Validation

  • Formal Languages

  • Formal Methods

  • Architecting

  • Linguistics

  • Formal Verifications

  • Verification

  • Verification And Validation

  • Graph Theory

  • Petri Nets

  • Software Architecture

  • Computer Programming Languages

  • Automata Theory

  • Computer Hardware Description Languages

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Formal Logic

  • Embedded Systems

  • Theoretical Computer Science

  • Formal Languages And Automata Theory

  • Object Oriented Programming

  • Graph Theory

  • Computer Systems

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Formal Logic

  • Model Checking

  • Architecture Verification And Validation

  • Embedded Systems

  • Theoretical Computer Science

  • Architecting

  • Formal Languages And Automata Theory

  • Formal Languages

  • Linguistics

  • Formal Verifications

  • Automata Theory

  • Software Architecture

  • Verification

  • Object Oriented Programming

  • Verification And Validation

  • Graph Theory

  • Formal Methods

  • Computer Software Maintenance

  • Computer Systems

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Requirements Engineering

  • Computer Programming

  • Computer Programming Languages

  • Embedded Systems

  • Computer Hardware

  • Field Programmable Gate Array

  • Microprocessor Chips

  • Computer Debugging

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Requirements Engineering

  • Software Quality

  • Computer Programming

  • Functional Requirement

  • System Requirements

  • Computer Programming Languages

  • Requirements Analysis

  • Software Project

  • Embedded Systems

  • Software Development

  • Model Checking

  • Architecture Verification And Validation

  • Quality Requirements

  • Computer Hardware

  • Field Programmable Gate Array

  • Verification

  • Microprocessor Chips

  • Program Debugging

  • Computer Debugging

  • Integrated Circuit Testing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Formal Logic

  • Theoretical Computer Science

  • Software

  • Formal Languages And Automata Theory

  • Computer Programming Languages

  • Graph Theory

  • Embedded Systems

  • Distributed Computer Systems

  • Computer Hardware

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Formal Logic

  • Theoretical Computer Science

  • Software

  • Formal Languages And Automata Theory

  • Linguistics

  • Formal Languages

  • Computer Programming Languages

  • Semantics

  • Formal Methods

  • Graph Theory

  • Embedded Systems

  • Model Checking

  • Architecture Verification And Validation

  • Petri Nets

  • Distributed Systems

  • Architecting

  • Automata Theory

  • Computer Software Maintenance

  • Distributed Computer Systems

  • Computer Hardware

    • ACM Queue
    66%
    32

    Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Distributed Computer Systems

  • Computer Security

  • Cryptology

  • Security Of Data

  • Computer Programming Languages

  • Access Control

  • Privacy

  • Field Programmable Gate Array

  • Software Engineering

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Distributed Computer Systems

  • Distributed Systems

  • Parallel Processing Systems

  • Network Security

  • Software Quality

  • Computer Security

  • Cryptography

  • Cryptology

  • Security Of Data

  • Architecting

  • Computer Programming Languages

  • Architecture Verification And Validation

  • Access Control

  • Model Checking

  • Privacy

  • Field Programmable Gate Array

  • Verification And Validation

  • Verification

  • Software Engineering

  • Software Developer

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Mobile Robots

  • Robotics

  • Artificial Intelligence

  • Distributed Computer Systems

  • Adaptive Algorithms

  • Multiagent System

  • Genetic Algorithms

  • Data Communication Systems

  • Field Programmable Gate Array

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Architecture Types

  • Mobile Robots

  • Robotics

  • Motion Planning

  • Software Quality

  • Adaptive Systems

  • Artificial Intelligence

  • Software Architecture

  • Distributed Computer Systems

  • Adaptive Algorithms

  • Multiagent System

  • Mobile Computing

  • Self-Adaptive

  • Genetic Algorithms

  • Self-Adaptive System

  • Data Communication Systems

  • Dynamic Environments

  • Computer Software Maintenance

  • Field Programmable Gate Array

  • Verification And Validation

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Networks

  • Computer Programming Languages

  • Computer Programming

  • Artificial Intelligence

  • Communication Systems

  • Software Reliability

  • Sensors

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Mathematics

  • Optimization

  • Correlation Analysis

  • Optimization Problems

  • Engineering

  • Computer Networks

  • Architecting

  • Computer Programming Languages

  • Computer Programming

  • Classifiers

  • Artificial Intelligence

  • Communication Systems

  • Routers

  • Wireless Telecommunication Systems

  • Architecture Verification And Validation

  • Model Checking

  • Sensor Networks

  • Software Reliability

  • Sensors

  • Economics

    • Simulation
    63%
    16

    Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Mobile Robots

  • Robotics

  • Multiagent System

  • Embedded Systems

  • Theoretical Computer Science

  • Computer Hardware

  • Graph Theory

  • Knowledge Based Systems

  • Distributed Computer Systems

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Mobile Robots

  • Robotics

  • Multiagent System

  • Embedded Systems

  • Theoretical Computer Science

  • Program Processors

  • Validation

  • Petri Nets

  • Software Architecture

  • Intelligent Agents

  • Computer Hardware

  • Motion Planning

  • Graph Theory

  • Knowledge Based Systems

  • Stochastic Processes

  • Distributed Computer Systems

  • Computer Software Maintenance

  • Architecture Verification And Validation

  • Parallel Architectures

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Computer Programming

  • Information Technology

  • Computer Programming Languages

  • Database Systems

  • Artificial Intelligence

  • Object Oriented Programming

  • Knowledge Based Systems

  • Internet

  • Computer Security

  • Microprocessor Chips

  • Sensors

  • Data Mining

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Engineering

  • Computer Programming

  • Information Technology

  • Computer Programming Languages

  • Database Systems

  • Artificial Intelligence

  • Architecting

  • Object Oriented Programming

  • Architecture Verification And Validation

  • Model Checking

  • Knowledge Based Systems

  • Software Quality

  • Computer Software Maintenance

  • Internet

  • Computer Security

  • Microprocessor Chips

  • Sensors

  • Data Mining

  • Verification

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Computer Programming Languages

  • Distributed Computer Systems

  • Software

  • Software Engineering

  • Software Design

  • Computer Programming

  • Database Systems

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Linguistics

  • Computer Programming Languages

  • Distributed Systems

  • Distributed Computer Systems

  • Parallel Processing Systems

  • Programming Languages

  • Software

  • Program Compilers

  • Software Engineering

  • Software Design

  • Software Quality

  • Software Architecture

  • Program Processors

  • Functional Programming

  • Verification And Validation

  • Computer Programming

  • Architecting

  • Formal Languages

  • Database Systems

  • Integrated Circuit Testing

    • Top High level topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Computer Programming Languages

  • Distributed Computer Systems

  • Formal Logic

  • Software Engineering

  • Formal Languages And Automata Theory

  • Theoretical Computer Science

  • Software Design

    • Top 20 topics shared with International Conference on Software Testing, Verification, and Validation

  • Software

  • Linguistics

  • Computer Programming Languages

  • Distributed Systems

  • Parallel Processing Systems

  • Distributed Computer Systems

  • Program Compilers

  • Formal Logic

  • Semantics

  • Software Engineering

  • Formal Languages And Automata Theory

  • Theoretical Computer Science

  • Formal Languages

  • Software Design

  • Functional Programming

  • Programming Languages

  • Software Architecture

  • Computer Software Maintenance

  • Type Systems

  • Ontology